Three Crossed Modules
نویسنده
چکیده
In this paper following Conduché’s, [12], way of defining 2-crossed modules which are equivalent to Carrasco-Cegarra’s, [10], 2-hyper crossed complexes, we define the three crossed module of groups as a model for 4-types.
منابع مشابه
The category of generalized crossed modules
In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...
متن کاملCrossed squares, crossed modules over groupoids and cat$^{bf {1-2}}-$groupoids
The aim of this paper is to introduce the notion of cat$^{bf {1}}-$groupoids which are the groupoid version of cat$^{bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{bf {2}}-$groupoids, and then we show their categories are equivalent....
متن کاملLimits in modified categories of interest
We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows. These constructions unify many corresponding results for the cases of groups, commutative algebras and can also be adapted to ...
متن کاملNotes on higher dimensional groups and related topics
1 Crossed Modules and Cat1-Groups 4 1.1 Pre-crossed and Crossed Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Examples of Crossed Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.3 Properties of Crossed Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Sub-crossed modules . . . . . . . . . . . . . . . . . . . . . ....
متن کاملOn morphisms of crossed polymodules
In this paper, we prove that the category of crossed polymodules (i.e. crossed modules of polygroups) and their morphisms is finitely complete. We, therefore, generalize the group theoretical case of this completeness property of crossed modules.
متن کامل